package org.stragma.apply.constructors

abstract class Boolean extends Exp
case class And(arg1 : Exp, arg2 : Exp) extends Exp
case class BitAnd(arg1 : Exp, arg2 : Exp) extends Exp
case class BitOr(arg1 : Exp, arg2 : Exp) extends Exp
case class Equ(arg1 : Exp, arg2 : Exp) extends Exp
case class Geq(arg1 : Exp, arg2 : Exp) extends Exp
case class Gt(arg1 : Exp, arg2 : Exp) extends Exp
case class Leq(arg1 : Exp, arg2 : Exp) extends Exp
case class Lt(arg1 : Exp, arg2 : Exp) extends Exp
case class Neq(arg1 : Exp, arg2 : Exp) extends Exp
case class Not(arg1 : Exp) extends Exp
case class Or(arg1 : Exp, arg2 : Exp) extends Exp